Anwendung von torischen Varietäten auf Polytope
نویسنده
چکیده
1 Einleitung In diesem Vortrag geht es um den Satz von Stanley, einen kombinatorischen Satz über Polytope, für den nur Beweise bekannt sind, die Aussagen über torische Varietäten und ihre Homologie benutzen. Sei X/C wie eine torische Varietät zum vollständigen Fächer ∆. In der Regel wird X nicht-singulär oder mindestens simplizial sein. Wenn ∆ Dimension n hat, operiert ein n-dimensionaler Torus T auf X. Man hat eine Bijektion zwischen den Kegeln σ ⊂ ∆ und den Orbits O(σ) unter dieser Operation, und falls dimσ = k, dann ist O(σ) ein n− k-dimensionaler Torus. Sei V (σ) der Abschluss von O(σ). Dann gilt V (σ) := O(σ) = ⋃ σ⊂τ O(τ).
منابع مشابه
PODSL - Domänenspezifische Datenmodellierung auf Basis von Prozessen
In den letzten Jahrzehnten ist das gespeicherte Datenvolumen in Wissenschaft und Industrie exorbitant gestiegen. Dabei werden Daten zunehmend an einer zentralen Stelle für eine bestimmte Anwendungsdomäne gespeichert aber auch zwischen Teilnehmern innerhalb einer Domäne ausgetauscht. Dadurch entsteht ein erheblicher Bedarf an domänenspezifischen Datenstandards. Da innerhalb einer Domäne bestimmt...
متن کاملProcess Mining bei Softwareprozessen
Process Mining umfasst eine Reihe von Methoden und Techniken, um Daten aus Ereignisprotokollen von Prozessen, den sogenannten Event Logs, zu analysieren und Informationen über die zu Grunde liegenden Prozesse und deren Bezug zu Prozessmodellen abzuleiten. Dieser Beitrag gibt einen Überblick der verschiedenenMöglichkeiten, ProcessMining im Zusammenhang mit Softwareprozessen einzusetzen, insbeson...
متن کاملEin Ansatz zum Erkennen von Schleifen in Graphersetzungssystemen mit Hilfe einer aussagenlogischen Kodierung und seine Anwendung auf Haskell
Graphersetzung ist ein Turing-vollständiges Berechnungsmodell, welches insbesondere in solchen Gebieten Verwendung findet, in denen Probleme durch Graphen modelliert werden können. Eine bekannte Anwendung ist die Ersetzung von Termgraphen in der funktionalen Programmierung. Die Frage nach der Terminierung ist ein wichtiger Punkt, da zum Beispiel eine Endlosschleife selten ein intendiertes Verha...
متن کاملEchtzeitüberwachung und Langzeitanalyse mittels eingebetteter Systeme
Der vorliegende Beitrag skizziert ein interdisziplinäres Forschungsvorhaben im Rahmen einer Doktorarbeit. Einer der Forschungsbeiträge ist die Kombination von Echtzeitüberwachung und Langzeitanalyse. Diese Kombination basiert auf existierenden Ansätzen und umfasst Event-ConditionAction-Regeln (ECA-Regeln), Data-Mining-Technologien sowie Complex Event Processing (CEP). Im vorliegenden Beitrag we...
متن کاملEvolutionäre Algorithmen zur Performance-Modellierung von Unternehmensanwendungen
Ziel: Ziel dieser Dissertation ist die Untersuchung der Einsetzbarkeit von AntwortzeitKomponentenmodellen zur Performance-Vorhersage von Unternehmensanwendungen. Weiterhin wird untersucht, ob und wie gut sich Antwortzeit-Komponentenmodelle mittels evolutionärer Algorithmen aus Messdaten generieren lassen. Hierzu werden zwei Stränge verfolgt. Zum einen wird der Prototyp Mendel eines evolutionäre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004